Méthode d'Evaluation des Risques Agrégés : application au choix des investissements de renouvellement d'installations

Pour répondre aux exigences et aux sensibilités sans cesse croissantes des acteurs de la vie économique et sociale, les organisations sont amenées à faire évoluer leurs outils de maîtrise des risques. Ainsi assiste-t-on au développement de systèmes de management intégré, favorisant le rapprochement des aspects qualité, sécurité, santé et protection de l'environnement. Ces développements touchent les domaines des sciences du danger et de la gestion des risques qui sont un axe de recherche important. Aujourd'hui, la gestion des risques doit être ancrée dans la politique générale de l'entreprise. De plus, la complexité croissante des entités "à risque" impose un regard multiple combinant démarche pluridisciplinaire et gestion rationnelle des différentes formes de ressources. Ce contexte montre la limite des méthodes traditionnelles d'analyse des risques qui, pour la plupart, reposent sur une prise en compte individuelle des risques. En réponse à ce problème, nous avons défini une méthodologie de modélisation et d'évaluation des risques permettant d'estimer l'importance relative de risques de natures différentes et de les agréger sous la forme d'un risque unique, de synthèse. Nous proposons une méthode d'Evaluation des Risques Agrégés, ou ERA. Cette méthode permet d'associer les points de vue technique, économique, réglementaire et social, pour une gestion intégrée des risques opérationnels et des risques stratégiques. Notre démarche s'appuie sur l'approche opérationnelle du critère unique de synthèse (procédure d'analyse hiérarchique ou AHP, de l'anglais Analytic Hierarchy Process) pour la construction d'un modèle des risques agrégés. Nous présentons la formalisation de la méthode ERA ainsi que son application industrielle dans le cadre de l'élaboration du plan d'investissement des schémas directeurs d'évolution des réseaux de distribution de gaz naturel

Experimental assessment of timing verification techniques for AFDX

International audienceAvionics systems distributed on AFDX networks are subject to stringent real-time constraints that require the system designer to employ techniques and tools to guarantee the worst case traversal time of the network (WCTT) and thus ensure a correct global real-time behavior of the distributed functions. The Network Calculus (NC) is an active research area based on the (min,+) algebra, that has been developed to compute such guaranteed bounds, and has been for instance successfully used to certify the Airbus A380 AFDX backbone. Over the years, a number of traffic models and verification algorithms have been developed and integrated into the NC theory, and there are now many possibilities to choose from in the NC framework, each offering a specific trade-off with regard to accuracy (tightness of the bounds), computation time (e.g., linear or exponential complexity) and complexity of the code. Different techniques are often best suited at the different phases of the development cycle: research on NC theory, preliminary feasibility assessment, design space exploration, certification, etc. The objective of the paper is to provide an experimental assessment of the performances of different verification techniques on hundreds of realistic networks randomly generated, where in previous studies comparisons were done only on few examples. The software toolset used in this study is the freely available AFDX benchmark generator NETAIRBENCH and the RTaW-Pegase timing verification software

Méthode d'évaluation des risques agrégés (application au choix des investissements de renouvellement des installations)

Pour répondre aux exigences et aux sensibilités sans cesse croissantes des acteurs de la vie économique et sociale, les organisations sont amenées à faire évoluer leurs outils de maîtrise des risques. Ainsi assiste-t-on au développement de systèmes de management intégré, favorisant le rapprochement des aspects qualité, sécurité, santé et protection de l'environnement. Ces développements touchent les domaines des sciences du danger et de la gestion des risques qui sont un axe de recherche important. Aujourd'hui, la gestion des risques doit être ancrée dans la politique générale de l'entreprise. De plus, la complexité croissante des entités "à risque" impose un regard multiple combinant démarche pluridisciplinaire et gestion rationnelle des différentes formes de ressources. Ce contexte montre la limite des méthodes traditionnelles d'analyse des risques qui, pour la plupart, reposent sur une prise en compte individuelle des risques. En réponse à ce problème, nous avons défini une méthodologie de modélisation et d'évaluation des risques permettant d'estimer l'importance relative de risques de natures différentes et de les agréger sous la forme d'un risque unique de synthèse. Nous proposons une méthode d'Evaluation des Risques Agrégés, ou ERA. Cette méthode permet d'associer les points de vue technique, économique, réglementaire et social, pour une gestion intégrée des risques opérationnels et des risques stratégiques. Notre démarche s'appuie sur l'approche opérationnelle du critère unique de synthèse (procédure d'analyse hiérarchique ou AHP, de l'anglais Analytic Hierarchy Process) pour la construction d'un modèle des risques agrégés. Nous présentons la formalisation de la méthode ERA ainsi que son application industrielle dans le cadre de l'élaboration du plan d'investissement des schémas directeurs d'évolution des réseaux de distribution de gaz naturel.TOULOUSE-ENSEEIHT (315552331) / SudocALBI-ENSTIMAC (810042301) / SudocPARIS-MINES ParisTech (751062310) / SudocSudocFranceF

Foodscapes, our link with the world

International audienc

Experimental assessment of timing verification techniques for AFDX

International audienceAvionics systems distributed on AFDX networks are subject to stringent real-time constraints that require the system designer to employ techniques and tools to guarantee the worst case traversal time of the network (WCTT) and thus ensure a correct global real-time behavior of the distributed functions. The Network Calculus (NC) is an active research area based on the (min,+) algebra, that has been developed to compute such guaranteed bounds, and has been for instance successfully used to certify the Airbus A380 AFDX backbone. Over the years, a number of traffic models and verification algorithms have been developed and integrated into the NC theory, and there are now many possibilities to choose from in the NC framework, each offering a specific trade-off with regard to accuracy (tightness of the bounds), computation time (e.g., linear or exponential complexity) and complexity of the code. Different techniques are often best suited at the different phases of the development cycle: research on NC theory, preliminary feasibility assessment, design space exploration, certification, etc. The objective of the paper is to provide an experimental assessment of the performances of different verification techniques on hundreds of realistic networks randomly generated, where in previous studies comparisons were done only on few examples. The software toolset used in this study is the freely available AFDX benchmark generator NETAIRBENCH and the RTaW-Pegase timing verification software

Pirog aide à l’élaboration de plans d'interventions pour le renouvellement des ouvrages gaz

National audienc

Integrating end-system frame scheduling for more accurate AFDX timing analysis

Avionics systems distributed on AFDX networks are subject to stringent real-time constraints that require guaranteeing the Worst-Case Traversal Time (WCTT) on the network for each of the data flows. Over the last 10 years, since the initial use of Network Calculus in certification, important progresses have been made in AFDX timing verification. The maximum pessimism for the latencies is now known to range from 10 to 25% on realistic systems. Further progresses towards more accurate timing analysis can still be made by considering additional temporal information. In this paper, we show that integrating the knowledge of the scheduling of the frames that is done within an end-system in the timing analysis enables to dramatically reduce the WCTT bounds computed by Network Calculus. Indeed, in our experiments performed on a realistic configuration provided by Thales Avionics, this technique reduces the WCTT upper bound by 40% on average over all flows. The reason is that the scheduling of the frames shapes the outgoing traffic, reducing thus peaks of load on the outgoing traffic , which can be accounted for in the timing analysis. Importantly, because the scheduling of the frames within the end-systems is in the scope of the network supplier, unlike the scheduling of tasks done at the application level, the approach presented here does not imply major changes in the design process

Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support

The Deficit Round Robin (DRR) policy can be used at the outgoing ports of communication switches to schedule distinct classes of frames, providing each class with a guaranteed share of the network bandwidth. The independence between traffic classes helps to improve the incremental design process, incremental certification and scheduling flows with mixed criticalities. DRR leads however to a less efficient use of hardware resources, this is why we also envisage the combined use of DRR and Static Priority (SP). We then provide a first quantitative assessment on a realistic case-study about the use of DRR, possibly combined with SP, in avionics networking and shed some light on its range of applicability

Agrégation des risques à l'aide de la procédure d'analyse hiérarchique

National audienc

Enseigner les méthodes d'analyse et de conception en école d'ingénieurs, vers l'apprenstissage par problèmes

National audienc